Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Все языки
Немецкий
Русский

direct theorem

Толкование Перевод

1 direct theorem

мат. прямая теорема

Большой англо-русский и русско-английский словарь > direct theorem
2 direct theorem

Математика: прямая теорема

Универсальный англо-русский словарь > direct theorem
3 direct theorem

прямая теорема

English-russian dictionary of physics > direct theorem
4 direct theorem

мат.

прямая теорема

English-Russian scientific dictionary > direct theorem
5 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
6 direct addition

прямое сложение

addition time — время сложения

addition table — таблица сложения

addition formula — формула сложения

addition theorem — теорема сложения

array addition — матричное сложение

English-Russian base dictionary > direct addition
7 A direct calculation of the value N leads to the following theorem

Математика: следующая теорема вытекает из (...)

Универсальный англо-русский словарь > A direct calculation of the value N leads to the following theorem
8 прямая теорема

мат. direct theorem

Большой англо-русский и русско-английский словарь > прямая теорема
9 converse

1) обратимый

2) обратная теорема

3) обратное утверждение

4) обратный

5) обращение

•

converse law of contraposition — обратный закон контрапозиции

converse law of double negation — обратный закон двойного отрицания

converse limit theorem — обратная предельная теорема

the converse is also true — верно также и обратное (утверждение)

the converse is fasle — обратное (утверждение) неверно

the converse statement is obvious — обратное суждение очевидно

- converse deficiency

- converse domain

- converse effect

- converse function

- converse graph

- converse implication

- converse judgment

- converse nonimplication

- converse of implication

- converse of substitution

- converse of theorem

- converse proposition

- converse relation

- converse sentence

- converse set

- converse statement

- converse system

- converse theorem

- converse type

- direct converse

- partial converse

- strong converse

- weak converse

English-Russian scientific dictionary > converse
10 process

1) процесс

2) процедура

3) технологический процесс || технологический

4) приём, способ

5) обрабатывать; перерабатывать

•

process with bounded aftereffect — процесс с ограниченным последействием

process with continuous spectrum — процесс с непрерывным спектром

process with denumerably many states — процесс со счётным множеством состояний

process with discrete spectrum — процесс с дискретным спектром

process with immigration — процесс с иммиграцией

process with independent increments — процесс с независимыми приращениями, аддитивный процесс

process with interactions — процесс с взаимодействиями

process with maximal rank — процесс с памятью

process with nonstationary increments — процесс с нестационарными приращениями, неоднородный во времени процесс

process with orthogonal increments — процесс с ортогональными приращениями

process with recycle — циркуляционный процесс

process with stationary and independent increments — процесс со стационарными и независимыми приращениями, однородный процесс

process with stationary increments — процесс со стационарными приращениями, однородный во времени процесс

process without aftereffect — процесс без последействия

process without memory — процесс без памяти

process without spontaneous changes — процесс без спонтанных изменений

- a priori process

- absolutely random process
- absorbing barrier process
- abstract process

- acid open-hearth process

- additive process

- age-dependent process

- alternating renewal process

- autoregressive process

- auxiliary process

- band-limited process

- basic Bessemer process
- basic oxygen process
- basic process

- basis open-hearth process

- Bessemer process

- binary process

- binomial process

- birth and death process

- birth process

- birth-and-death process

- birth-illness-death process

- bivariate process

- bloomery process

- bracketing process

- branching process

- canonical process

- cascade process

- centered process

- circular process

- circularly correlated process

- clustering process

- collecting process

- computation process

- computational process

- conditioned process

- conservative process

- constructive process

- contagion process

- continuation process

- continuous process

- continuous spinning process

- controlled process

- convergent process

- converter process

- convex process

- countercurrent process

- counter-flow process

- counting process

- Crouse process

- cumulative process

- cupola process

- decay process

- decision process

- decision-making process

- decomposable process

- degenerate process

- denumerable process

- denumerably-valued process

- diagonal process

- difference process

- differential process

- differentiation process

- digital process

- direct ore-reduction process
- direct reduction process
- directing process

- discontinuous process
- discrete process - discrete-time process
- dishonest process

- dissipative process

- distributed-parameter process

- disturbed harmonic process

- divergent process

- drawn-gate CMOS process

- dry-press process

- dual process

- dynamic process

- elementary process

- empirical process

- equally correlated process

- equally-correlated process

- equilibrium process

- ergodic process

- evolutionary process

- exhaustive process

- explosive process

- exponential process

- extended process

- extinction process

- feedback process

- feedforward process

- fictitions process

- finite process

- fitting process

- fundamental process

- general process

- generating process

- genetic process

- gradient process

- graph-searching process

- growth process

- half-additive process

- harmonic process

- harmonizable process

- hereditary process

- heterogeneous in time process

- heterogeneous process

- heuristic process

- holomorphic process

- homogeneous process

- imbedded renewal process

- immigration process

- increasing process

- independent increments process

- indirect process

- induced process

- infinetely divisible process

- infinite process

- infinitely decomposable process

- infinitesimal process

- informational process

- inhomogeneous process

- integer-value process

- integrable process

- interpolatory process

- inverse process

- irreversible process

- isentropic process

- isobaric process

- isochoric process

- isonormal process

- isothermal process

- isotropic process

- iterative process

- jointly stationary process

- jump process

- Kroll process

- ladder process

- learning process

- left-continuous process

- linear process

- linearly regular process
- linearly singular process - locally integrable process - locally stable process
- logistic process

- lumped process

- many-state death process

- martingale process

- measurable process

- memoryless process

- metrically transitive process

- minimal process

- mixed process

- mixing process

- modulated process

- Moebius process

- monotonous process

- moving summation process

- moving-average process

- multidimensional process

- multiparameter process

- multiple-chain process

- multiple-phase process

- multiplicative process

- multistage process
- multistep process - multivariate process - N-dimensional process
- near-equilibrium process

- neutral process

- noise process

- nondeterministic process

- nondissipative process

- nonequilibrium process

- nonhereditary process

- nonhomogeneous process

- nonnormalized process

- nonpreemptive process

- nonstationary process

- nonsteady process

- numerical process

- observation process

- observed process

- one-dimensional process

- one-sided process

- one-state process

- open-hearth process

- optimal process

- optimum process

- Orbach process

- orthogonal process

- orthogonalization process

- oxidizing process

- partially deterministic process
- partially mixing process
- percolation process

- periodic process

- periodically stationary process

- persistent process

- perturbated process

- piecewise-linear process

- pig-and-ore process

- plasma spraying process

- point process

- positively regular process

- predictable process

- probabilistic process

- process of abstraction

- process of exhaustion

- process of finite variation
- process of hidden periodicities
- process of iteration

- process of randomization

- process oil

- product process

- production process

- pseudorandom process

- purely random process

- pursuit process

- quasistable process

- quasistationary process

- random-walk process

- real-valued process

- reciprocal process

- recurrent process

- recursive process

- reduced process

- reducible process

- reduction process

- regenerative process

- regular process

- renewal process

- repeatable process

- repetitive process

- restorative process

- return process

- reverberatory process

- reverse process

- rewriting process

- right-continuous process

- risk process

- rotor process

- sampling process

- search process

- second-order stationary process

- selection process

- separable process

- sequential decision process

- sequential process

- shuffling process

- side-blown converter process

- sieving process

- simple process

- simplex process

- singular process

- slowly branching process

- smoothed process

- smoothing process

- soft-mud process

- space-time process

- spatial process

- spectral process

- stagewise process

- standard process

- statistically stationary process
- steady stochastic process
- steady-state process

- steel-making process

- stencil process

- stepwise process

- stochastic process

- stopped process

- strictly stationary process

- subordinated process

- summation process

- supercritical process

- synergistic process

- temporally continuous process
- temporally homogeneous process
- terminating process

- theorem-proving process

- time-dependent process

- time-homogeneous process

- trajectory process

- transient process

- transport process

- trial-and-error process

- two-dimensional process

- two-sided process

- two-stage process

- two-state process

- umklapp process

- uncontrolled process

- uniform process

- unit process

- unstable process

- unsteady process

- unsteady-state process

- vector process

- vector-valued process

- weakly correlated process
- weakly ergodic process - weakly stationary process
- welding process

- well-measurable process

- wide sense stationary process

- Wohlwill process

- xiphoid process

- zero-one renewal process

English-Russian scientific dictionary > process
11 system

1) система; комплекс

2) совокупность

•

system in equilibrium — система в стационарном состоянии

- absolutely complete system
- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system
- abstract system

- accumulator hydraulic system

- adaptive system

- additively closed system

- addressing system

- adjoint system

- affixative system

- aholonomic system

- aircraft electrical system

- airdrop system

- algebraically complete system
- allowable coordinate system - almost linear system - ample linear system
- ample system

- analytic system

- anholonomic system

- antenna system

- anticanonical system

- antiinvariant system

- antisymmetric system

- aperiodic system

- applicative system

- appointment system

- approach and docking system
- artificial feel system
- assertional system

- associated system

- associative system

- asymmetric system

- asymptotically stable system

- asynchronous system

- atomic system

- augmented system

- automated landing system
- automatic block system - automatic deicing system
- autonomous system

- axiomatic system

- axiomatizable system

- backward system

- balanced system

- base-ten system

- base-two system

- basic system

- betting system

- bicylindrical coordinate system

- bilinear system

- binary number system
- binary relational system - binary-coded decimal system
- binomial system

- biorthogonal system

- biorthonormal system

- bipolar coordinate system
- block tooling system
- block-recursive system

- branching system

- Brembo braking system

- bus system

- c.m. system

- carrier frequency system
- Cartesian coordinate system
- categorical system

- causal system

- cellular system

- center-of-mass system

- chance cause system

- characteristic system

- classical system

- classification system

- closed system

- closed-circuit television system

- closure system

- coarse system

- coaxial system of circles

- code system

- coding system

- cofinal system

- coherent system

- collection system

- combinatorial system

- commutation system

- complete system

- completely continuous system
- completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system
- complex system

- compound system

- computation system

- concatenative system

- conceptual system

- conditionally stable system
- conical coordinate system
- conjugate system

- conjunctive system

- connected system

- connecting system

- conservative system

- consistent system

- consistently interpretable system

- constant system

- constrained system

- continuous system

- continuously ordered system

- contragradient system

- control system

- controllable system

- controlled system

- convergence system

- converse system

- convex system

- cooling system

- correct formal system

- countable system

- counting system

- covariant local system

- creative system

- critical system

- crossbar system

- cryoelectronic system

- cybernetic system

- cycle matching system

- cyclic system

- data reduction system

- decadic system

- decidable system

- decision-making system

- decoding system

- decomposable system

- deductive system

- defective system of eigenvectors

- deflection system

- degenerate system

- denary system

- densely ordered system
- derivational formal system
- determinate system

- determined system

- determining system

- deterministic system

- diagonal system

- dial system

- dichotomous system

- difference equation system
- differential equation system - differential selsyn system - digital counting system - digital transmission system
- direct system

- directed system

- directly indecomposable system

- disconjugate system

- discrete system

- discrete-continuous system

- disjunctive system

- dispatch telephone system

- dissipative system

- distributed system

- dodecadic system

- doudecimal system

- draft system

- drainage system

- draw-in conduit system

- dual system

- duodecimal system

- duplex radio system

- dynamic system

- earth system

- elementarily equivalent system

- elementary system

- ellipsoidal coordinate system
- elliptic coordinate system - elliptic cylindrical coordinate system
- elliptic system

- encoder system

- energy system

- equational system

- equationally equivalent system

- equianharmonic system

- equicontinuous system

- equidistant system

- equivalence system

- equivalent system

- ergodic system

- error-controlled system

- essentially undecidable system

- eutactic system

- evaporator system

- exclusive system

- exponentially stable system
- externally inconsistent system
- extremal system

- extremally stable system

- feasible system

- fiber-optic communication system

- finder system

- finiitely definable system
- finite state system
- finite system

- finite-dimensional system

- finitely approximated system
- finitely axiomatizable system - finitely presented system
- finitizable system

- fixed-parameter system

- focusing system

- forced system

- formal system

- formalized system

- forward system

- free system

- fuel conveying system
- fully characteristic quotient system
- function system

- functional system

- fundamental system of neighborhoods
- fundamental system of solutions
- fuzzy system

- gas-cleaning system

- gas-pressurized system

- general system

- generalized system

- generating system

- grand system

- ground system

- hereditarily generating system

- heterogeneous system

- heuristic system

- hexadecimal number system

- hierarchy system

- history of system

- homogeneous system

- homoloidal system

- homomorphic system

- hot-water system

- hydraulic handling system
- hydraulic lift system
- hyperbolic system

- hypercomplex number system

- hypercomplex system

- hypoelliptic system

- hypothetical system

- ideal system

- idealized system

- imprimitive system

- imprimitivity system

- incidence system

- incompletable system

- incomplete system

- inconsistent system

- indecomposable system

- indexing system

- inductive system

- inequality system

- inertial system

- information retrieval system

- information system

- infravariant total system

- inhomogeneous system

- initial system

- inner system

- inteblock system

- integral system

- integrated manufacturing
- integrated switching system
- integrated system

- interconnected power system

- interpolation system

- interpretating system

- intuitionistic system

- inverse system

- invertible system

- involutory system

- irreducible system

- irreduciblly inconsistent system

- isolated system

- isometric system

- isomorphic system

- isomorphically embeddable system
- isomorphically embedded system
- isothermmic system

- iterative system

- jet engine starter system
- kernel normal system
- Korsch system

- laboratory system

- lacunary system

- ladder-type system

- lamellar system

- large system

- lattice system

- learning system

- left-handed coordinate system

- life-support system

- lightguiding system

- linear programming system
- linearly dependent system - linearly independent system - live hydraulic system
- local system

- locally embeddable system
- locking protection system
- logarithmic system

- logistic system

- loop carrier system

- lossless system

- lumped system

- majority voted system

- maximal system

- maximally overdetermined system
- meteor-burst communication system
- minimal system

- minimax system

- miniquaternion system

- modal system

- modular pneumatic-device system
- modular programming system
- modular system

- monogenic system

- monomorphic system

- monotonic system

- multiassertional system

- multidimensional system

- multilayer system

- multimodal system

- multiperiodic system

- multiple-data-set system

- multiple-input system

- multiplicative system

- multiplicatively closed system

- multiplier system

- multipoint distribution system

- multistable system

- multistage system

- multivariable system

- natural system

- neutral system

- nohereditary system

- nonassociative system

- nonautonomous system

- nonautonomous system

- noncritical system

- nondissipative system

- nonelementary system

- nonholonomic system

- nonlinear system

- nonoscillating system

- nonperiodic system

- nonrecursive system

- nonregular system

- nonsingular system

- nonstationary system

- n-order system

- normed system

- notation system

- n-state system

- null system

- number representation system

- number system

- numerical system

- observable system

- octal number system

- octal system

- one-loop system

- one-phase system

- open-flow intake system

- optimum system

- ordered system

- orthogonal coordinate system

- outer system

- overdetermined system

- oversimplified system

- packet transmission system

- pantactic system

- parabolic coordinate system
- parabolic cylindrical coordinate system
- parabolic system

- paraboloidal coordinate system

- parametric system

- partial system

- partially ordered system
- permanent four-wheel drive system
- perturbed system

- piece-rate system

- Pitot static system

- pluricanonical system

- pluriparabolic system

- polyhierarchical system

- polynominal-like system

- polystable system

- positional system

- pressure intake system

- prime system

- primitively elementary system

- probabilistic system

- projective coordinate system

- projective system

- prolate spheroidal coordinate system

- propulsion system

- prorepresentation system

- prototype system

- pseudodynamic system

- public address system

- pulsed navigation system
- pure independent system
- quadrophonic system

- quasicanonical system

- quasicomplete system

- quasi-electronic switching system

- quasiergodic system

- quasiharmonic system

- quasilinear system

- quasimultiplicative system

- quasiordered system

- quasireducible system

- quasistable system

- quasitriangular system

- queuing system

- quinary system

- quotient system

- radial ventilation system
- radio telephone system
- ramified system

- random system

- reactor control system
- reactor protection system - real number system - receiver-amplifier crioelectric system
- recovering system

- recurrent system

- reduced system

- redundant system

- regenerating system

- regularized system

- relational system

- relative system

- relatively isolated system
- remote-cylinder hydraulic system
- residual system

- resolving system

- restricted system

- retrospective system

- rheonomic system

- ride control system

- right-handed coordinate system

- right-handed system

- robot system

- root system

- rotating coordinate system

- safety-trip system

- sampled-data system

- satellite navigation system

- saturated system

- scanning system

- scleronomic system

- scoring system

- self-adaptive system

- self-adjoint system

- self-adjusting system

- self-contradictory system

- self-dual system

- self-excited system

- self-learning system

- self-optimizing system

- self-organizing system

- self-oscillating system

- semantic system

- semantically complete system
- semantically consistent system
- semidynamical system

- semilinear system

- semiordered system

- semiotic system

- semiregular coordinate system

- separable system

- sewage system

- sexadecimal system

- sexagesimal system

- shift system

- simply complete system
- simply consistent system - simply incomplete system - simply ordered system
- simulated system

- smooth system

- solvable system

- speed coding system
- spherical coordinate system
- spraying system

- sprinkling system

- stabilizable system

- staff system

- stand-by system

- star-like system

- start-stop system

- start-up system

- State System of Instruments

- state-determined system

- static system

- statistical system

- stochastic system

- stochastically connected system

- storage system

- stratified system

- strongly elliptic system
- strongly multiplicative system - structurally stable system - sufficiently general coordinate system
- summability system

- surjective system

- switching system

- syntactical system

- syntactically complete system

- synthesized system

- system of awards

- system of axioms

- system of calculation

- system of causes

- system of circles

- system of coefficients

- system of common representatives

- system of conditions

- system of coordinates

- system of distinct representatives

- system of eigenvalues

- system of equations

- system of factor groups
- system of frequency curves
- system of generators

- system of groups

- system of hypotheses

- system of imprimitivity

- system of independent estimations

- system of inequalities

- system of integers

- system of integrity

- system of lines

- system of logarithms

- system of matrices

- system of measures

- system of neighborhoods

- system of numeration

- system of parameters

- system of preferences

- system of proper functions

- system of pseudoequivalence

- system of random varables
- system of rational numbers
- system of reference

- system of representations

- system of residual classes

- system of sets

- system of simultaneous equations

- system of subgroups

- system of surfaces

- system of transition functions

- system of transitivity

- system of units

- system of weights

- system of wheels

- tag system

- tally system

- telegraph block system

- telephone system

- television relay system

- television system

- temperature control system

- ten-step system

- ternary system

- theorem-proving system

- time interval system
- time multiplex system - time-division multiplex system
- time-invariant system

- time-varying system

- timing system

- topologizing system

- toroidal coordinate system

- total system

- transient system

- transitivity system of group

- transmission system

- transposed system

- tree-like system

- triangulation system

- trichotomous system

- trichromatic system

- triclinic system

- trigonal system

- trigonometric system

- triorthogonal system

- triple system

- triple-orthogonal system

- trivial system

- truth-value system

- twelve-channel system

- two-level system

- two-particle system

- tyrefit system

- unattended system

- undecidable system

- underdetermined system

- unified radiotelemetry system
- uniformly complete system - univalent system of notation - universal system of notation
- unperturbed system

- unsaturated system

- unsolvable system

- unstable system

- variable-coefficient system

- vector system

- ventilation system

- very large system

- video system

- voting system

- warning system

- water utilization system

- water-sludge system

- weakly atomic system
- weakly closed system - weighted number system
- weighting system

- wellpoint system

- zero-order system

English-Russian scientific dictionary > system
12 conclusion

1) вывод, (умо)заключение

2) закрытие, завершение

3) итог, результат

•

to jump at conclusion — делать поспешный вывод

to reach a conclusion — прийти к заключению

to rush to conclusion — делать поспешный вывод

- a priori conclusion

- chain conclusion

- conclusion of rule

- conclusion of theorem

- conditional conclusion

- direct conclusion

- empirical conclusion

- false conclusion

- final conclusion

- general conclusion

- heuristic conclusion

- immediate conclusion

- inductive conclusion

- intermediate conclusion

- invalid conclusion

- logical conclusion

- negative conclusion

- overall conclusion

- preliminary conclusion

- statistical conclusion

- strong conclusion

- tentative conclusion

- theoretical conclusion

- true conclusion

English-Russian scientific dictionary > conclusion
13 extension

1) надставка; насадка

2) удлинитель

3) выступающая часть, консольная часть

4) пристройка

5) продление; продолжение

6) простирание; протяжённость; распространение

7) растяжение; распрямление

8) сварка установочная длина

9) геод. сгущение сети опорных точек

10) расширение; удлинение; добавление; увеличение

11) экстенсия, разгибание

•

extension at fracture — удлинение при изломе

extension in space — матем. протяжённость в пространстве

extension by definition — матем. расширение с помощью определений

extension by adjunction — матем. расширение путём присоединения

- affine extension

- algebra extension

- algebraically closed extension

- almost periodic extension

- analytical extension

- anodyne extension

- arithmetical extension

- atomic extension

- automorphic extension

- axiomatic extension

- basic extension

- bicompact extension

- binomial extension

- bounded extension

- canonical extension

- cantilever extension

- central extension

- circular extension

- closed extension

- cohomological extension

- common extension

- complete extension

- complex extension

- compound group extension

- confinal extension

- conformal extension

- conical extension

- conservative extension

- constant field extension

- continuous extension

- continuously differentiable extension

- contravariant extension

- convex extension

- cord extension

- covariant extension

- cyclic extension

- cyclotomic extension

- cylindrical extension

- definitional extension

- determined extension

- differential extension

- direct extension

- discrete irrational extension

- discrete rational extension

- distal extension

- distinguished extension

- dual extension

- elementary extension

- equationally complete extension

- even extension

- extension of condition

- extension of derivations

- extension of digraph

- extension of distribution

- extension of function

- extension of mapping

- extension of number

- extension of operator

- extension of scalars

- extension of spring

- extension of structure

- extension of strut

- extension of theorem

- field extension

- finitely generated extension

- fixed extension

- flat extension

- free extension

- fully ramified extension

- global extension

- greatest common extension

- group extension

- group-like extension

- harmonic extension

- holomorphic extension

- homotopy extension

- ideal extension

- impredicative extension

- indiscrete irrational extension

- indiscrete rational extension

- inductive extension

- inessential extension

- inferential extension

- infinite extension

- injective extension

- inseparable extension

- integral extension

- intrinsic extension

- irretractable extension

- isometric extension

- isomorphic extension

- jet extension

- least normal extension

- lexicographic extension

- linear extension

- linguistic extension

- linguistically invariant extension

- maximal extension

- meromorphic extension

- minimal extension

- mixed extension of game

- model extension

- mold extension

- monotone extension

- multiple extension

- natural extension

- negation extension

- nested extension

- n-fold transcendental extension

- n-fold transcendental extension

- nonisomorphic extension

- nonlinear extension

- nonramified extension

- nonseparable extension

- nontrivial extension

- norm-preserving extension

- odd extension

- operational extension

- outer extension

- perfect extension

- pointed irrational extension

- pointed rational extension

- positive extension

- prime extension

- principal extension

- proper extension

- proximity extension

- purely essential extension

- purely inseparable extension

- purely ramified extension

- purely transcendental extension

- quadratic extension

- quasianalytic extension

- quasiconformal extension

- quasiinjective extension

- radial extension

- radical extension

- range extension

- recursive extension

- regular extension

- representation extension

- self-adjoint extension

- semiregular extension

- separably algebraic extension

- separably generated extension

- sign extension

- solvable extension

- space extension

- split extension

- splitting extension

- standard extension

- stochastic extension

- strong extension

- strongly normal extension

- subharmonic extension

- symmetric extension

- tamely ramified extension

- theoretical extension

- topological group extension

- totally imaginary extension

- totally ramified extension

- transcendental extension

- transitive extension

- universal central extension

- unramified extension

- virtual extension

- weakly holomorphic extension

- wildly ramified extension

English-Russian scientific dictionary > extension
14 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
15 addition

1. n прибавление; дополнение; пополнение

addition in the margin — заметки на полях

addition to the staff of the school — новый учитель школы

addition to the library — новое поступление в библиотеку

in addition — кроме того, вдобавок; к тому же

in addition he was rude to me — вдобавок он мне нагрубил

chain addition — дополнение последовательных значений

in addition to the above — в дополнение к вышеуказанному

2. n амер. пристройка, крыло

3. n амер. пограничный участок земли, присоединённый к участку другого владельца

4. n амер. пригородный участок, выделенный для городского строительства

5. n амер. эк. прирост основного капитала

addition to capital — прирост капитала

net addition to assets — чистый прирост активов

addition to fixed assets — прирост основных фондов

addition to surplus — отчисление в резервный капитал

net addition to labor force — чистый прирост рабочей силы

6. n амер. мат. сложение; суммирование

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

7. n амер. хим. примесь

8. n амер. метал. присадка

addition agent — легирующий элемент

ladle addition — присадка в ковш

9. n амер. геол. привнос

Синонимический ряд:

1. accession (noun) accession; accretion; augmentation; expansion; increase; increment; raise; rise

2. addendum (noun) addendum; adjunct; appendage

3. adding (noun) adding; appending; attaching; joining

4. annex (noun) annex; extension; wing

5. annexation (noun) accessory; admixture; annexation; cast; codicil

6. summation (noun) computing; counting; reckoning; summation; summing up; tabulating; totaling

Антонимический ряд:

decrease; deduction; deterioration; detraction; diminution; drawback; lessening; loss; preface; reduction; subtraction

English-Russian base dictionary > addition
16 chained addition

сложение по цепочке; последовательное сложение с накоплением; цепочечное сложение

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

English-Russian base dictionary > chained addition
17 cyclic addition

циклическое сложение

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

English-Russian base dictionary > cyclic addition
18 destructive addition

сложение с разрушением первого слагаемого

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

English-Russian base dictionary > destructive addition
19 iterative addition

итеративное сложение; многократное сложение

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

English-Russian base dictionary > iterative addition
20 nondestructive addition

сложение без разрушения первого слагаемого

addition time — время сложения

addition table — таблица сложения

direct addition — прямое сложение

addition formula — формула сложения

addition theorem — теорема сложения

English-Russian base dictionary > nondestructive addition

Страницы

См. также в других словарях:

Direct integral — In mathematics and functional analysis a direct integral is a generalization of the concept of direct sum. The theory is most developed for direct integrals of Hilbert spaces and direct integrals of von Neumann algebras. The concept was… … Wikipedia
Direct sum of modules — For the broader use of the term in mathematics, see Direct sum. In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The result of the direct summation of modules is the smallest general… … Wikipedia
Direct product of groups — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product … Wikipedia
Direct product — In mathematics, one can often define a direct product of objects already known, giving a new one. This is generally the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one… … Wikipedia
Direct sum of groups — In mathematics, a group G is called the direct sum of a set of subgroups {Hi} if each Hi is a normal subgroup of G each distinct pair of subgroups has trivial intersection, and G = <{Hi}>; in other words, G is generated by the subgroups… … Wikipedia
theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… … Universalium
Direct method in the calculus of variations — In the calculus of variations, a topic in mathematics, the direct method is a general method for constructing a proof of the existence of a minimizer for a given functional,[1] introduced by Zaremba and David Hilbert around 1900. The method… … Wikipedia
Structure theorem for finitely generated modules over a principal ideal domain — In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that… … Wikipedia
Steiner-Lehmus theorem — |AE|=|BD|,,alpha=eta,,gamma=delta Rightarrow riangle ABC ext{ is isosceles}The Steiner Lehmus theorem, a theorem in elementary geometry, was formulated by C. L. Lehmus and subsequently proved by Jakob Steiner.: Any triangle with two angle… … Wikipedia
Maschke's theorem — In mathematics, Maschke s theorem,[1][2] named after Heinrich Maschke,[3] is a theorem in group representation theory that concerns the decomposition of representations of a finite group into irreducible pieces. If (V, ρ) is a finite… … Wikipedia
Stone–von Neumann theorem — In mathematics and in theoretical physics, the Stone–von Neumann theorem is any one of a number of different formulations of the uniqueness of the canonical commutation relations between position and momentum operators. The name is for Marshall… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

direct theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

direct theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: